nonempty finite set

非空有限集